[[Mathematics MOC]]
# Iverson bracket

Let $p$ be a proposition.
The **Iverson bracket** is defined as follows #m/def/general 
$$
\begin{align*}
[p] = \begin{cases}
1 & p \\
0 & \neg p
\end{cases}
\end{align*}
$$
This is a generalization of the [[Kronecker delta]].

#
---
#state/tidy | #lang/en | #SemBr